منابع مشابه
Electronic Voting Machine Using Internet
Electronic voting system is an important tool which allows voters to vote over the Internet without the geographical restrictions with considers important criteria in evaluating electronic voting schemes such as the mobility, democracy, and privacy. There are a number of voting systems adopted all over the world with each of them having its peculiar problems. The main task of this paper is to i...
متن کاملReplayable Voting Machine Audit Logs
Audit logs are an important tool for post-election investigations, in the event of an election dispute or problem. We propose a new approach to logging that is designed to provide a record of all interactions between each voter and the voting machine. Our audit logs provide a comprehensive, trustworthy, replayable record of essentially everything the voter saw and did in the voting booth, provi...
متن کاملThe New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine
As a result of a public-interest lawsuit, by Court order we were able to study, for one month, the hardware and source code of the Sequoia AVC Advantage direct-recording electronic voting machine, which is used throughout New Jersey (and Louisiana), and the Court has permitted us to publicly describe almost everything that we were able to learn. In short, these machines are vulnerable to a wide...
متن کاملAutomatic Synthesis of a Voting Machine Design
Synthesis from specification has long been considered the “holy grail” of the design process. Instead of implementing a design by hand, we prefer to provide a high-level description of the design, and have the implementation automatically generated. Synthesis also eliminates the need for verification, since the synthesized design is correct-byconstruction. We apply two methods of synthesis to t...
متن کاملTesting a new voting machine question methodology
A new question methodology has been developed and used with voting machines in large physics lecture classrooms. The methodology was tested by comparing student performance in voting machine and non-voting machine lecture sections during three consecutive electricity and magnetism quarters of introductory calculus-based physics. Data from The Conceptual Survey of Electricity and Magnetism and c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Research in Engineering and Technology
سال: 2014
ISSN: 2321-7308,2319-1163
DOI: 10.15623/ijret.2014.0315167